Buy Used and New David A . Plaisted Books

The Efficiency of Theorem Proving Strategies: A Comparative and Asymptotic Analysis (Computational Intelligence)

by David A. Plaisted, Yunshan Zhu

ISBN 13: 9783528155742

Format: Paperback (178 pages)
Publisher: Springer
Published: 01 Sep 2003

Save for later